Contact us Category listing - math (List all)
((V)irtual = Package is only listed here)
Previous | Query returned 303 packages, results 301 to 303 | Next

yacas Yet Another Computer Algebra System
yorick Numerical algebra system (similar to Matlab)
z3 The Z3 theorem prover / SMT solver